#include<iostream>


int main() {
	printf("%d", 12);
}